how to restore missing dual boot option